Amitabha Gupta's Documents

Amitabha Gupta's Documents

SAT-based scalable formal verification solutions

SAT-based scalable formal verification solutions
Read more
Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings
Read more
Middleware 2010

Middleware 2010
Read more
Reproductive and Developmental Toxicology

Reproductive and Developmental Toxicology
Read more
Toxicology of Organophosphate Carbamate Compounds

Toxicology of Organophosphate Carbamate Compounds
Read more
Neural Networks in Business: Techniques and Applications

Neural Networks in Business: Techniques and Applications
Read more
Fundamentals of Mathematical Statistics (A Modern Approach), 10th Edition

Fundamentals of Mathematical Statistics (A Modern Approach), 10th Edition
Read more
Ion Channels and Their Inhibitors

Ion Channels and Their Inhibitors
Read more
Textbook of Machine Design (M.E.)

Textbook of Machine Design (M.E.)
Read more
Smart Sensors and Sensing Technology

Smart Sensors and Sensing Technology
Read more
Migration and Mental Health

Migration and Mental Health
Read more
Data Flow Analysis: Theory and Practice

Data Flow Analysis: Theory and Practice
Read more
Manufacturing Processes, 2nd Edition

Manufacturing Processes, 2nd Edition
Read more
Spark: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits

Spark: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
Read more
Comprehensive Bioactive Natural Products, Volume 8: Quality Control & Standardization

Comprehensive Bioactive Natural Products, Volume 8: Quality Control & Standardization
Read more
Notes in Neuroanaesthesia and Critical Care

Notes in Neuroanaesthesia and Critical Care
Read more
Normal Tissue Reactions In Radiotherapy And Oncology Volume 37 International Symposium, Marburg, April

Normal Tissue Reactions In Radiotherapy And Oncology Volume 37 International Symposium, Marburg, April
Read more
Six Sigma Business Scorecard : Creating a Comprehensive Corporate Performance Measurement System

Six Sigma Business Scorecard : Creating a Comprehensive Corporate Performance Measurement System
Read more
Multiple Decision Procedures: Theory and Methodology of Selecting and Ranking Populations

Multiple Decision Procedures: Theory and Methodology of Selecting and Ranking Populations
Read more
Parametric Statistical Change Point Analysis: With Applications to Genetics, Medicine, and Finance , Second Edition

Parametric Statistical Change Point Analysis: With Applications to Genetics, Medicine, and Finance , Second Edition
Read more
Gambling Problems in Youth: Theoretical and Applied Perspectives

Gambling Problems in Youth: Theoretical and Applied Perspectives
Read more
Fundamentals of Polymer Engineering, Revised and Expanded

Fundamentals of Polymer Engineering, Revised and Expanded
Read more
Multiple decision procedures

Multiple decision procedures
Read more
Plant Tissue Culture Engineering

Plant Tissue Culture Engineering
Read more
The Anthropology of the State: A Reader (Blackwell Readers in Anthropology)

The Anthropology of the State: A Reader (Blackwell Readers in Anthropology)
Read more
Six Sigma Business Scorecard : Creating a Comprehensive Corporate Performance Measurement System

Six Sigma Business Scorecard : Creating a Comprehensive Corporate Performance Measurement System
Read more
A - Z of Haematology

A - Z of Haematology
Read more
A Textbook of Engineering Mathematics-I, 2nd Edition

A Textbook of Engineering Mathematics-I, 2nd Edition
Read more
Fundamentals Of Polymer Engineering

Fundamentals Of Polymer Engineering
Read more
A History of Indian Literature, Volume II: Epic and Sanskrit Religious Literature, Fasc. 2: Hindu Tantric and Śākta Literature

A History of Indian Literature, Volume II: Epic and Sanskrit Religious Literature, Fasc. 2: Hindu Tantric and Śākta Literature
Read more